ci: Fallback to HEAD when checking out branch

... instead of hardcoding origin/master as the default branch.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1914>

diff --git a/.gitlab-ci/checkout-mutter.sh b/.gitlab-ci/checkout-mutter.sh
index 82096af381a566ab79464862ee3f025dbf83c949..449a34e5d9b640bdef63fef6e3438b718d53fbff 100755 (executable)
--- a/.gitlab-ci/checkout-mutter.sh
+++ b/.gitlab-ci/checkout-mutter.sh
@@ -47,7 +47,7 @@ if [ -z "$mutter_target" ]; then
     mutter_target=FETCH_HEAD
   else
     echo \ not found
-    mutter_target=origin/master
+    mutter_target=HEAD
     echo Using $mutter_target instead
   fi
 fi